An executable formal semantics for PHP Daniele Filaretti & Sergio Maffeis www.phpsemantics.org

Source URL: dfilaretti.github.io

Call for Papers The Third Workshop on Program Semantics, Specification and Verification: Theory and Applications (PSSVaffiliated with 7th International Computer Science Symposium in Russia (CSR-2012), will be held

Source URL: formal.iti.kit.edu

Requirement Enforcement by Transformation Automata Douglas R. Smith Kestrel Institute 3260 Hillview Avenue Palo Alto, CaliforniaUSA

Source URL: www.kestrel.edu

• Formal methods
• Logic in computer science
• Theoretical computer science
• Refinement
• Predicate transformer semantics
• Postcondition
• Program transformation
• Finite-state machine
• Invariant
• Formal verification
• Aspect-oriented software development
• Precondition

PDF Document

Source URL: lama.univ-savoie.fr

• Logic in computer science
• Game theory
• Models of computation
• Formal methods
• Denotational semantics
• Game semantics
• Semantics
• Strategy
• Equivalence of categories
• Sheaf

BRICS DS-05-2 J. Iversen: Formalisms and tools supporting Constructive Action Semantics BRICS Basic Research in Computer Science

Source URL: www.brics.dk

• Programming language semantics
• Action semantics
• Formal languages
• Peter Mosses
• Programming language
• SYNTAX
• ASF+SDF Meta Environment
• Programming language theory
• Theoretical computer science
• Software engineering

On the Formal Semantics of IF-like Logics Santiago Figueiraa,b , Daniel Gor´ına , Rafael Grimsonc a Departamento de Computaci´ on, FCEyN

Source URL: www.glyc.dc.uba.ar

• Model theory
• Predicate logic
• Non-classical logic
• Quantification
• Interpretation
• First-order logic
• Independence-friendly logic
• FO
• Lambda calculus
• Logic
• Mathematical logic
• Philosophical logic

BRICS DS-04-1 B. Klin: An Abstract Coalgebraic Approach to Process Equivalence for Well-Behaved Operational Semantics BRICS Basic Research in Computer Science

Source URL: www.brics.dk

• Programming language semantics
• Logic in computer science
• Operational semantics
• BRIC
• Peter Mosses
• Gordon Plotkin
• Congruence relation
• Theoretical computer science
• Mathematics
• Formal methods

On the Formal Semantics of IF-like Logics Santiago Figueira∗ Daniel Gor´ın∗ Rafael Grimson†

Source URL: www.glyc.dc.uba.ar

• Model theory
• Philosophical logic
• Semantics
• Non-classical logic
• First-order logic
• Interpretation
• Lambda calculus
• Independence-friendly logic
• FO
• Logic
• Mathematical logic
• Mathematics

Parameterized Timed Partial Orders with Resources: Formal Definition and Semantics Nikola Trčka, Marc Voorhoeve and Twan Basten ES Reports ISSN

Source URL: www.es.ele.tue.nl

Formal Semantics Chapter Twenty-Three Modern Programming Languages, 2nd ed.

Source URL: www.webber-labs.com